@article{AVPGEN,
  AUTHOR =       {A.Chandra, V.Iyengar, D.Jameson, R.Jawalekar, I.Nair, B.Rosen, M.Mullen, J.Yoon, R.Armoni, D.Geist, Y.Wolfsthal},
  TITLE =        {AVPGEN -- A Test Generator for Architecture Verification},
  JOURNAL =      {IEEE Transactions on Very Large Scale Integration},
  YEAR =         {1995},
  volume =       {3},
  number =       {2},
  pages =        {188-199},
  month =        {JUNE}
}
